From 548f4b1ecd793880a0b3c3c0876508e79c71fdc7 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Thu, 18 Jun 2009 10:26:28 +0100 Subject: [PATCH] xendomains script: Small fix From: Fabian Zimmermann Signed-off-by: Keir Fraser --- tools/hotplug/Linux/init.d/xendomains | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/hotplug/Linux/init.d/xendomains b/tools/hotplug/Linux/init.d/xendomains index e353441bd5..70b5b8fdcf 100644 --- a/tools/hotplug/Linux/init.d/xendomains +++ b/tools/hotplug/Linux/init.d/xendomains @@ -182,11 +182,11 @@ rdnames() parseln() { - if [[ "$1" =~ "\(domain" ]]; then + if [[ "$1" =~ '(domain' ]]; then name=;id= - else if [[ "$1" =~ "\(name" ]]; then + else if [[ "$1" =~ '(name' ]]; then name=$(echo $1 | sed -e 's/^.*(name \(.*\))$/\1/') - else if [[ "$1" =~ "\(domid" ]]; then + else if [[ "$1" =~ '(domid' ]]; then id=$(echo $1 | sed -e 's/^.*(domid \(.*\))$/\1/') fi; fi; fi -- 2.30.2